Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
871	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
872	TMA4195 Mathematical modelling 2004 Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2004-08-16 11:51:36 Dimensional analysis Physical quantity Dimensionless quantity Matrix Theoretical physics Linear temporal logic Spectral theory of ordinary differential equations Physics Measurement Buckingham π theorem
873	K-SAMPLE ANDERSON-DARLING TESTS OF FIT, FOR CONTINUOUS AND DISCRETE CASES Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2008-03-28 14:48:52 Generalized functions Fourier analysis Order statistic Permutations Distribution Limit Convolution Linear temporal logic Mathematical analysis Functional analysis Mathematics
874	Journal of Global Optimization 24: 285309, 2002. c 2002 Kluwer Academic Publishers. Printed in the Netherlands. Add to Reading List Source URL: www.ccas.ru Language: English - Date: 2003-12-19 14:38:47 Linear algebra Operator theory Calculus of variations Vector space Pullback Linear temporal logic Algebra Mathematics Mathematical analysis
875	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax
876	SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C-ALGEBRAS ILIJAS FARAH Add to Reading List Source URL: www.math.yorku.ca Language: English* - Date: 2012-07-31 19:28:48 Algebra Functional analysis Linear algebra C*-algebra Von Neumann algebra Hilbert space Gelfand–Naimark–Segal construction Banach algebra Gelfand–Naimark theorem Mathematical analysis Operator theory Mathematics
877	Application note #9 Linear vs. non linear systems in impedance measurements Add to Reading List Source URL: www.bio-logic.info Language: English - Date: 2013-05-30 11:58:00 Physical quantities Electrical impedance Dielectric spectroscopy Scattering parameters Negative resistance Electronics Electromagnetism Physics
878	1 An Overview of Linear Logic Programming Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2003-09-29 10:45:32 Proof theory Linear logic Logic programming Sequent Natural deduction Intuitionistic logic Cut-elimination theorem Interpretation Well-formed formula Logic Mathematical logic Mathematics
879	30 Years of Higher-Order Unification G´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-09-02 10:28:36 Logic programming Mathematics Unification Sequent Linear logic Admissible rule Substitution Logic Mathematical logic Automated theorem proving
880	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory

UPDATE